package com.swust.TestDemo;

/**
 * 白盒测试-逻辑覆盖的例子.
 * @author Double
 *
 */
public class WhiteTestDemo {
    /**
     *
     * @param a 这是一个值
     * @param b 这是一个值
     * @param x 值c
     * @return x
     */
	public int fun1(int a, int b, int x)
	{
	    int temp_x = x;
		if ((a>1)&&(b==0))
		{
		    temp_x = temp_x / a;
		}
		if ((a==2)||(x>1))
		{
		    temp_x = temp_x + 1;
		}
		return x;
	}
}
